<!DOCTYPE html>
            
<HTML>
<HEAD>
<meta name="booktitle" content="Developing Applications With Objective Caml" ><TITLE>Notes</TITLE>
 <meta charset="ISO-8859-1"><meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=0">
<META name="GENERATOR" content="hevea 1.05-7 of 2000-02-24">
<META NAME="Author" CONTENT="Christian.Queinnec@lip6.fr">
<LINK rel=stylesheet type="text/css" href="videoc-ocda.css">
<script language="JavaScript" src="videoc.js"><!--
//--></script>
</HEAD>
<BODY class="regularBody">
<HR WIDTH="50%" SIZE=1><DL>
<DT><A NAME="note3" HREF="book-ora015.html#text3"><FONT SIZE=5>1</FONT></A><DD> In the interval
[-2<SUP><FONT SIZE=2>30</FONT></SUP>,2<SUP><FONT SIZE=2>30</FONT></SUP>-1] on 32-bit machines and in the interval
[-2<SUP><FONT SIZE=2>62</FONT></SUP>,2<SUP><FONT SIZE=2>62</FONT></SUP>-1] on 64-bit machines

<DT><A NAME="note4" HREF="book-ora015.html#text4"><FONT SIZE=5>2</FONT></A><DD> The floating point number <I>m</I> � 10<SUP><FONT SIZE=2><I>n</I></FONT></SUP> is
represented with a 53-bit mantissa <I>m</I> and an exponent <I>n</I> in the interval
[-1022,1023].

<DT><A NAME="note5" HREF="book-ora015.html#text5"><FONT SIZE=5>3</FONT></A><DD> Not a Number

<DT><A NAME="note6" HREF="book-ora015.html#text6"><FONT SIZE=5>4</FONT></A><DD> The <TT>List</TT> module is presented on page
<A HREF="book-ora076.html#sec-mod-list">??</A>.

<DT><A NAME="note7" HREF="book-ora015.html#text7"><FONT SIZE=5>5</FONT></A><DD> Fortunately since the number of types is only limited by
machine memory

<DT><A NAME="note8" HREF="book-ora015.html#text8"><FONT SIZE=5>6</FONT></A><DD> Some predefined functions do not obey this
rule, in particular the structural equality function (<TT>=</TT>) which is
polymorphic (its type is <I>'a -&gt; 'a -&gt; bool</I>) but which explores the
structure of its arguments to test their equality.

<DT><A NAME="note9" HREF="book-ora016.html#text9"><FONT SIZE=5>7</FONT></A><DD> Translator's note: In Moli�re's play <EM>Le
Bourgeois Gentilhomme</EM> (<EM>The Bourgeois Gentleman</EM>), the character Mr.
Jourdain is amazed to discover that he has been speaking prose all his
life. The play can be found at


<H3> Link </H3> <HR>

<A HREF="http://www.site-moliere.com/pieces/bourgeoi.htm">http://www.site-moliere.com/pieces/bourgeoi.htm</A>

<HR>

 and


<H3> Link </H3> <HR>

<A HREF="http://moliere-in-english.com/bourgeois.html">http://moliere-in-english.com/bourgeois.html</A>

<HR>

 gives an excerpt
from an English translation, including this part.

<DT><A NAME="note10" HREF="book-ora016.html#text10"><FONT SIZE=5>8</FONT></A><DD> Translator's note: The rules for French Tarot
can be found, for example, at


<H3> Link </H3> <HR>

<A HREF="http://www.pagat.com/tarot/frtarot.html">http://www.pagat.com/tarot/frtarot.html</A>

<HR>



<DT><A NAME="note11" HREF="book-ora017.html#text11"><FONT SIZE=5>9</FONT></A><DD> Translator's note: Thanks to the new ``polymorphic
variants'' feature of Objective CAML <TT>3.00</TT>, some other sum types can now be
extended as well
</DL>

</BODY></HTML>
